Перевод: с английского на все языки

со всех языков на английский

Со всех языков на:
Английский
С английского на:
Русский

lattice-theoretic logic

Толкование Перевод

1 lattice-theoretic logic

мат. теоретико-решеточная логика

Большой англо-русский и русско-английский словарь > lattice-theoretic logic
2 lattice-theoretic logic

Математика: теоретико-решеточная логика

Универсальный англо-русский словарь > lattice-theoretic logic
3 lattice-theoretic logic

мат.

теоретико-решёточная логика

English-Russian scientific dictionary > lattice-theoretic logic
4 lattice-theoretic

теоретико-структурный - lattice-theoretic dimension - lattice-theoretic identity - lattice-theoretic logic - lattice-theoretic property

Большой англо-русский и русско-английский словарь > lattice-theoretic
5 logic

1) логика || логический

2) вчт логические схемы, логика

3) логический блок; логический узел

•

logic with identity — логика с тождеством

logic without identity — логика без тождества

- algebraic logic

- applied logic

- auxiliary logic

- bivalent logic

- cellular logic

- class logic

- classical logic

- classical propositional logic

- commodity logic

- continuous logic

- countably complete logic

- decision logic

- decoding logic

- deductive logic

- derivative logic

- deterministic logic

- dialectical logic

- digitizing logic

- dual logic

- dyadic logic

- dynamic logic

- elementary logic

- empirical logic

- equational logic

- extended logic

- extensional logic

- external logic

- feature logic

- finite-valued logic

- first-order logic

- free logic

- fuzzy logic

- general modal logic

- generalized logic

- generalized stochastic logic

- heuristic logic

- imperative logic

- implicational logic

- inductive logic

- inductively generated logic

- infinitary logic

- infinite-valued logic

- intensional logic

- intermediate logic

- intrinsic logic

- intuitionistic logic

- iterative logic

- lattice-theoretic logic

- limit logic

- logic of certainty

- logic of evidence

- logic of existence

- logic of higher order

- logic of modalities

- logic of norms

- logic of part

- logic of preference

- logic of strict implication

- logic of truth

- logic of verification

- logic of whole

- minimal logic

- modal logic

- monadic logic

- multivalued logic

- natural logic

- nonclassical logic

- nonconstructive logic

- nonmonotonic logic

- normative logic

- n-valued logic

- object logic

- orthodox logic

- polyvalent logic

- positive logic

- predicate logic

- projectively generated logic

- propositional logic

- pure logic

- quantificational logic

- quite full logic

- reduced logic

- redundant logic

- search logic

- semicomplete logic

- sentential logic

- separable logic

- set-theoretic predicate logic

- shielded

- situational logic

- static logic

- stochastic logic

- strict logic

- strongly strict logic

- superintuitionistic logic

- switching logic

- syllogistic logic

- system logic

- technical logic

- tense logic

- three-level logic

- three-valued logic

- topological logic

- traditional logic

- transforming logic

- trivalent logic

- unordered logic

- unorthodox logic

- unspecialized logic

English-Russian scientific dictionary > logic
6 теоретико-решеточная логика

мат. lattice-theoretic logic

Большой англо-русский и русско-английский словарь > теоретико-решеточная логика
7 identity

1) матем. единица || единичный

2) идентичность, одинаковость, тождественность

3) индивидуальность

4) конгруэнтность

5) опознание; отождествление

6) матем. тождество

7) геол. однородность

•

algebra with identity — алгебра с единицей

algebra without identity — алгебра без единицы

component of the identity — матем. компонента единицы

logic with identity — логика с тождеством

logic without identity — логика без тождества

monoid with identity — матем. полугруппа с единицей

ring with identity — матем. кольцо с единицей

ring without identity — матем. кольцо без единицы

semigroup with identity — матем. полугруппа с единицей

semigroup without identity — матем. полугруппа без единицы

to reduce to an identity — матем. обращать в тождество

to satisfy an identity — мат. удовлетворять тождеству

- abstract identity

- algebraic identity

- approximate identity

- balanced identity

- binomial identity

- categorical identity

- combinatorial identity

- commutator identity

- component of identity

- conditional identity

- definitional identity

- distinguished identity

- dual identity

- exact identity

- exchange identity

- formal identity

- fundamental identity

- gage identity

- general identity

- group identity

- homeomorphic identity

- homotopy identity

- identity of addition

- identity of algebraic field

- identity of geometrical figures

- identity of multiplication

- identity of ring

- identity of subgroup

- integral identity

- lattice-theoretic identity

- left-handed identity

- linear identity

- logical identity

- material identity

- matrix identity

- minimal identity

- modular identity

- multilinear identity

- multiplicative identity

- n-place identity

- operator identity

- orthomodular identity

- p-adic identity

- parallelogram identity

- Parseval's identity

- partial identity

- polarization identity

- polynomial identity

- principal identity

- proof of identity

- quasigroup identity

- quaternion identity

- rational identity

- reduction identity

- resolvent identity

- right-handed identity

- standard identity

- strict identity

- superconvergence identity

- trigonometric identity

- trivial identity

- two-sided identity

- vector identity

English-Russian scientific dictionary > identity

См. также в других словарях:

Lattice of subgroups — In mathematics, the lattice of subgroups of a group G is the lattice whose elements are the subgroups of G, with the partial order relation being set inclusion.In this lattice, the join of two subgroups is the subgroup generated by their union,… … Wikipedia
Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… … Wikipedia
Distributive lattice — In mathematics, distributive lattices are lattices for which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set… … Wikipedia
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Скотт, Дана Стюарт — В Википедии есть статьи о других людях с фамилией Скотт. Дана Скотт Dana Stewart Scott Дата рождения … Википедия
Дана Стюарт Скотт — Дана Скотт Dana Stewart Scott Дата рождения: 1932(1932) Гражданство … Википедия
Дана Скотт — Dana Stewart Scott Дата рождения: 1932(1932) Гражданство … Википедия
Скотт, Дана — В Википедии есть статьи о других людях с такой фамилией, см. Скотт. Дана Скотт Dana Stewart Scott … Википедия
Mereotopology — In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на все языки

lattice-theoretic logic

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на все языки

lattice-theoretic logic

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: